例句與造句

1. Formal semantics are also required when it is necessary to establish the correctness of an infinite system; this cannot be done using enumerative techniques because they deal only with finite abstractions, so must be done using theorem proving techniques, which only apply to languages with a formal semantics.
2. It's difficult to find enumerative technique in a sentence. 用enumerative technique造句挺難的